Unfold `le\_int` 0